En mayo, el IPS pagará a los docentes jubilados el aumento salarial acordado en paritaria